специалист по математической логике

См. также в других словарях:

• Лёб, Мартин — Мартин Хуго Лёб Martin Hugo Löb Дата рождения: 31 марта 1921(1921 03 31) Место рождения: Берлин Дата смерти: 12& …   Википедия

• Ялонский, Сергей Всеволодович — Род. 1924, ум. 1998. Математик, специалист по математической логике и теоретическим вопросам кибернетики. Лауреат Ленинской премии (1966). С 1968 г. чл. корр. АН СССР, с 1991 г. РАН …   Большая биографическая энциклопедия

• Институт автоматики и вычислительной техники МЭИ — Институт автоматики и вычислительной техники Московского энергетического института (технического университета) …   Википедия

• Яблонский, Сергей Всеволодович — В Википедии есть статьи о других людях с такой фамилией, см. Яблонский. Сергей Всеволодович Яблонский Дата рождения: 6 декабря 1924(1924 12 06) Место рождения: Москва, СССР Дата смерти …   Википедия

• Венгрия — (Magyarország)         Венгерская Народная Республика, ВНР (Magyar Népköztársaság).          I Общие сведения В. государство в Центральной Европе, в центральной части бассейна Дуная. Граничит на С. с Чехословакией, на З. с Австрией, на Ю. с… …   Большая советская энциклопедия

• Новиков, Петр Сергеевич — [р. 15 (28) авг. 1901] сов. математик, чл. корр. АН СССР (с 1953). В 1927 окончил Моск. ун т. С 1934 работает в Математич. ин те АН СССР. Осн. работы относятся к теории множеств и математич. логике. Лауреат Ленинской премии (1957). Соч.: Nоvikоff …   Большая биографическая энциклопедия

• Колмогоров, Андрей Николаевич — [р. 12 (25) апр. 1903] сов. математик, акад. ( с 1939). Ученик Н. Н. Лузина. В 1925 окончил Моск. ун т, с 1931 проф. того же ун та. Научную деятельность К. начал в области теории функций действительного переменного, где известны его работы по… …   Большая биографическая энциклопедия

• Мальцев, Анатолий Иванович — [р. 14 (27) ноября 1909] сов. математик, акад. (с 1958, чл. корр. с 1953). Засл. деят. науки РСФСР (1956). Деп. Верх. Совета СССР 4 5 го созывов. В 1931 окончил Моск. ун т. С 1932 работает в Иванов. педагогич. ин те (с 1943 проф.). Одновременно… …   Большая биографическая энциклопедия

• Марков, Андрей Андреевич (младший) — [р. 9 (22) сент. 1903] сов. математик, чл. корр. АН СССР (с 1953). Сын А. А. Маркова (старшего). С 1935 проф. Лен. ун та. Автор исследований в области топологии, топологич. алгебры (им построена теория свободных топологич. групп), теории… …   Большая биографическая энциклопедия

• Семенов, Алексей Львович — Ректор Московского института повышения квалификации работников образования; родился 13 октября 1950 г. в г. Москве; окончил МГУ в 1972 г., доктор физико математических наук, профессор; академик РАЕН, член Президиума РАЕН; специалист в области… …   Большая биографическая энциклопедия

• Маккарти Джон — Маккарти (McCarthy) Джон (родился 4.9.1927, Бостон), американский учёный, специалист по теории ЭВМ, математической логике, языкам программирования ЭВМ, искусственному интеллекту. В 1948 окончил Калифорнийский технологический институт. Работал в… …   Большая советская энциклопедия